Symbolic Execution & Formal Verification | Trail Of Bits Head Of Blockchain Engineering